Semantical Integration of Object-Oriented Viewpoint Specification Techniques
نویسندگان
چکیده
Complex systems have many heterogeneous aspects, which can be specified comprehensibly and adequately by viewpoint specification techniques dealing only with a suitable subset of these aspects. A methodology for the formal integration of collections of such viewpoint specification techniques is introduced and applied to object-oriented systems. As a main result, it is shown, how the semantical consistency of viewpoint specification techniques can be checked in this framework.
منابع مشابه
Objects Identification in Object-Oriented Software Development - A Taxonomy and Survey on Techniques
Analysis and design of object oriented is onemodern paradigms for developing a system. In this paradigm, there are several objects and each object plays some specific roles. Identifying objects (and classes) is one of the most important steps in the object-oriented paradigm. This paper makes a literature review over techniques to identify objects and then presents six taxonomies for them. The f...
متن کاملساختار دهی آنی دادههای مکانی ورودی GIS با تأکید بر عارضه راه
An important issue in implementation of a GIS system is preparation of data to be entered in GIS. To produce spatial data for GIS using photogrammetric techniques, conventional method is to apply photogrammetric and GIS systems individually (off-line procedure). This approach is costly, time consuming and somehow unreliable due to the fact that 3D photogrammetric model is not available at the ...
متن کاملIntegrated Formal and Object-Oriented Methods: The VDM ++ Approach
This paper describes methods integration techniques and tools developed for the VDM formal specification language. Case studies which have been carried out for the language using tool support for the integrated development method are also described. The original features of the method are its use of highly abstract initial specifications to avoid the design bias of object-oriented structuring, ...
متن کاملDesign and Verification of Industrial Logic Controllers with UML and Statecharts
The paper describes a methodological framework that aims to apply formal design and verification techniques to the domain of Logic Control and Supervision for Manufacturing Systems. The methodology is based on a Object-Oriented approach, supported by a syntactical and semantical adaptation of the semi-formal software specification languages UML and Statecharts. The modeling languages has been s...
متن کاملIntegration of Inheritance Trees as Part of View Generation For Database Federations
Schema integration is the basis for successfully building a database federation. Current proposals directly integrate the diierent schemata using a semantical powerful data model, for example an extended ER model or an object-oriented model. We propose instead to use for integration a semantical poor model and build semantically rich representations as external views only. This approach enables...
متن کامل